home *** CD-ROM | disk | FTP | other *** search
- /*
- -- ANSI C code generated by :
- -- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.82) --
- -- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
- -- Dominique COLNET and Suzanne COLLIN - colnet@loria.fr --
- -- http://www.loria.fr/SmallEiffel --
- */
- #include "pretty.h"
- T7*e2s(char*e){
- return se_ms(strlen(e),e);}
- char*s2e(T7*s){
- char*e=malloc(1+s->_count);
- memcpy(e,s->_storage,s->_count);
- e[s->_count]='\0';
- return e;}
- void*se_ma65(int argc,...){
- T65*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M65;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma901(int argc,...){
- T901*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M901;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma263(int argc,...){
- T263*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M263;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma522(int argc,...){
- T522*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M522;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma587(int argc,...){
- T587*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M587;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma396(int argc,...){
- T396*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M396;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma848(int argc,...){
- T848*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M848;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma147(int argc,...){
- T147*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M147;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma855(int argc,...){
- T855*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M855;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma26(int argc,...){
- T26*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M26;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma733(int argc,...){
- T733*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M733;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma96(int argc,...){
- T96*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M96;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma608(int argc,...){
- T608*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M608;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma419(int argc,...){
- T419*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M419;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma552(int argc,...){
- T552*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M552;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma681(int argc,...){
- T681*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M681;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma235(int argc,...){
- T235*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M235;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma429(int argc,...){
- T429*m;
- va_list pa;
- T2*s;
- m=malloc(sizeof(*m));
- *m=M429;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=va_arg(pa,int);
- }
- va_end(pa);
- }
- return m;}
- void*se_ma495(int argc,...){
- T495*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M495;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma948(int argc,...){
- T948*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M948;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma52(int argc,...){
- T52*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M52;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma247(int argc,...){
- T247*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M247;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma764(int argc,...){
- T764*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M764;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma381(int argc,...){
- T381*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M381;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma701(int argc,...){
- T701*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M701;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void*se_ma382(int argc,...){
- T382*m;
- va_list pa;
- T0**s;
- m=malloc(sizeof(*m));
- *m=M382;
- if(argc){
- s=malloc(argc*sizeof(*s));
- m->_storage=s;
- m->_capacity=argc;
- m->_lower=1;
- m->_upper=argc;
- va_start(pa,argc);
- while(argc--){
- *(s++)=((void*)(va_arg(pa,char*)));
- }
- va_end(pa);
- }
- return m;}
- void rsp(void){
- printf("Eiffel program crash at run time.\n");
- printf("No trace when using option \"-boost\"\n");}
- void sigrsp(int sig){
- printf("Received signal %d (man signal).\n",sig);
- rsp();
- exit(1);}
-
-